/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
/**
 * NuGat-API named Chameleon developed by Simon De Baets to Verimag.
 *
 */
package chameleon.model.NuGatStructure.bdd;

import chameleon.model.NuGatStructure.enc.BddEnc;
import chameleon.gameSolver.NuGat.NuGatInterface;
import chameleon.model.NuGatStructure.utils.Node;
import chameleon.model.NuGatStructure.NuGatStructure;
import com.sun.jna.Pointer;

/**
 * This class is a wrapper to a bdd_ptr. 
 * 
 * @author simon
 */
public class Bdd extends NuGatStructure {
    
    public Bdd( Pointer bdd, NuGatInterface nugat){
        super (bdd, nugat);
    }
    
    public Bdd(NuGatStructure bdd, NuGatInterface nugat){
        super (bdd.ptr(), nugat);
    }
    
    public String toString(BddEnc enc){
        Node expr = enc.bddToExpr(this);
        return expr.sprintNode();
    }
    
}
